home *** CD-ROM | disk | FTP | other *** search
Text File | 1997-08-18 | 647 b | 24 lines | [TEXT/R*ch] |
- File mosml/examples/helpsigs/README PS 1996-04-10
-
-
- This directory contains the program used to create the database used
- by the Moscow ML `help' function. It requires the Moscow ML compiler
- sources to be installed and compiled.
-
- The program illustrates the use of several libraries.
-
- The main program is makebase. It reads the signatures in directory
- mosml/lib/ and creates
-
- * a help database in helpsigs.val
- * an ASCII format version of the database in index.txt
- * a LaTeX format version of the database in index.tex
-
- To create the main program, type
-
- make
-
- To run the program thus compiled, type
-
- makebase
-